assertion language中文是什么意思

发音:

中文翻译
造句

判定语言

assertion n. 1.主张，断言，确言。 2.维护，坚持。短语和例 ...
language n. 1.语言；(某民族，某国的)国语；语调，措词。 2 ...
assertion n. 1.主张，断言，确言。 2.维护，坚持。 stand to one's assertion 坚持己见。
arbitrary assertion 武断, 任意断定
assertion checker 断言检查程序
assertion checking 断言检查用户在程序中嵌入的断言的检查。
assertion data 断言数据
assertion database 断言数据库
assertion element 断言元素
assertion judgment 断言判断
assertion list 断言表
assertion of rights 维护权利
assertion operator 断言语句
assertion sign 断定符; 断定号
assertion statement 断言语句
assertion training 果断训练; 信念训练法
assertion training(at) 信心训练，果断训练
behauptung assertion 断定
complacent assertion 自以为是
database of assertion 断言数据库
degenerate assertion 腐朽的论断
dynamic assertion 动态断言; 动态判定
extrajudicial assertion 审判外的主张
frame assertion 框架断言
global assertion 全局断言

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

The last level , assertion , is typically implemented through java code or through a dedicated assertion language such as schematron
最后一层，即断言，通常使用java代码或者专门的断言语言如schematron来实现。
So that particular argument for extending the assertion language or for expressing contracts in english goes away at least in the long term
因此，有关扩展断言语言和英语中的契约表述的争论，在一个较长时期后将会沉寂下来。
This is just a short list of the types of program properties that can be expressed in a traditional assertion language - properties that any programmer would like in code
这只是可以用传统断言语言表示的程序特性类型的简短列表所有程序员都希望在代码中包含的特性：
We can now consider the three languages for the specification of an interface that is , the unit testing language , the assertion language , and the type system to form a hierarchy of expressiveness
现在我们可以考虑用接口规范的三种语言（它们是，单元测试语言、断言语言和类型系统）来形成表达的层次。
Let s take a quick look at three categories of common assertion properties common , but which don t offer us the full coverage we d like , compare them with the types of program properties that can be expressed in a traditional assertion language , and examine assertion properties that are necessary for a multithreading context but are impossible to express as conventional assertions
让我们快速浏览三种类型常见的断言特性（虽然是常见的，但它们没有提供我们所需的完整范围），将它们与可以用传统断言语言表示的程序特性的类型进行比较，并检查多线程上下文所必需的，但不可能表示成常规断言的断言特性。

推荐英语阅读

assertion language的中文翻译，assertion language是什么意思，怎么用汉语翻译assertion language，assertion language的中文意思，assertion language的中文，assertion language in Chinese，assertion language的中文，assertion language怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。

Last modified time:Tue, 12 Aug 2025 00:29:56 GMT